Default Reasoning about Conditional, Non-Local and Disjunctive Effect Actions
نویسنده
چکیده
Recently, Baumann et al. [2010] provided a comprehensive framework for default reasoning about actions. Alas, the approach was only defined for a very basic class of domains where all actions have mere unconditional, local effects. In this paper, we show that the framework can be substantially extended to domains with action effects that are conditional (i.e. are context-sensitive to the state in which they are applied), non-local (i.e. the range of effects is not pre-determined by the action arguments) and even disjunctive (thus nondeterministic). Notably, these features can be carefully added without sacrificing important nice properties of the basic framework, such as modularity of domain specifications or existence of extensions.
منابع مشابه
A Modal Characterization of Defeasible Deontic Conditionals and Conditional Goals
We explore the notions of permission and obligation and their role in knowledge representation, especially as guides to action for planning systems. We first present a simple conditional deontic logic (or more accurately a preference logic) of the type common in the literature and demonstrate its equivalence to a number of modal and conditional systems for default reasoning. We show how the tec...
متن کاملAn Extended Framework for Default Reasoning
In this paper, we investigate the proof theory of default reasoning. We generalize Reiter's framework to a monotonic reasoning system, and in particular allow formulae with nested defaults. We give proof rules for this extended default logic, called default ionic logic, and give deduction theorems. We also give examples of applications of our framework to some well-known problems: weak implicat...
متن کاملDefault Reasoning over Domains and Concept Hierarchies
W.C. Rounds and G.-Q. Zhang have proposed to study a form of disjunctive logic programming generalized to algebraic domains [1]. This system allows reasoning with information which is hierarchically structured and forms a (suitable) domain. We extend this framework to include reasoning with default negation, giving rise to a new nonmonotonic reasoning framework on hierarchical knowledge which e...
متن کاملWhat the Lottery Paradox Tells Us About Default Reasoning
In this paper I argue that we do not under stand the process of default reasoning A number of examples are given which serve to distinguish di erent default reasoning sys tems It is shown that if we do not make our assumptions explicit we get into trouble with disjunctive knowledge and if we make our assumptions explicit we run foul of the lottery paradox None of the current popular default rea...
متن کاملPrecise Propagation of Upper and Lower Probability Bounds in System P
In this paper we consider the inference rules of System P in the framework of coherent imprecise probabilistic assessments. Exploiting our algorithms, we propagate the lower and upper probability bounds associated with the conditional assertions of a given knowledge base, automatically obtaining the precise probability bounds for the derived conclusions of the inference rules. This allows a mor...
متن کامل